Modelling for Mere Mortals
نویسندگان
چکیده
In the past, attempts to convince practising software engineers to adopt formal methods of software development were generally unsuccessful. The methods were too difficult to learn and use, provided inadequate tool support and did not integrate well into the software development process. In short, they could only be used effectively by the gods who created them! Are we in a better position today? Recent advances in and experience with specification techniques and automated model checking have demonstrated the utility of these techniques. In this paper we outline one such effort which is specifically intended to facilitate modelling as part of the software process, and to try to make model specification and model checking accessible to mere mortals.
منابع مشابه
A Case Study of German into English by Machine Translation: to Evaluate MOSES using MOSES for Mere Mortals
This paper evaluates the usefulness of Moses, an open source statistical machine translation (SMT) engine, for professional translators and post editors. It takes a look behind the scenes at the workings of Moses and reports on experiments to investigate how translators can contribute to advances in the use of SMT as a tool. In particular the difference in quality of output was compared as the ...
متن کاملScientific workflow design for mere mortals
Recent years have seen a dramatic increase in research and development of scientific workflow systems. These systems promise to make scientists more productive by automating data-driven and computeintensive analyses. Despite many early achievements, the long-term success of scientific workflow technology critically depends on making these systems useable by ‘‘mere mortals’’, i.e., scientists wh...
متن کاملAre We Over-Drugging Ourselves ?
he repeats the statement in substance, but softens the blow just a little by the qualification that ninetenths of all the bottles of medicine are mere placebos, having none but a psychological effect on their recipients. The doctor's calling is a high one, and he is engaged against powerful opposing forces in a struggle for the existence of his patients. But doctors have to live like lesser mor...
متن کاملModelling dust emissions in the Mediterranean Basin for improved solar energy yield predictions
For the reasoning of mortals is worthless, and our designs are likely to fail.
متن کاملDeclarative Datalog Debugging for Mere Mortals
Tracing why a “faulty” fact A is in the model M = P (I) of program P on input I quickly gets tedious, even for small examples. We propose a simple method for debugging and “logically profiling” P by generating a provenance-enriched rewriting P̂ , which records rule firings according to the logical semantics. The resulting provenance graph can be easily queried and analyzed using a set of predefi...
متن کامل